|
#1
Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science)M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. SchneiderКатегория: Компьютеры
29.43 Mb
#4
Specifying Systems: The TLA+ Language and Tools for Hardware and Software EngineersLeslie Lamport
2.48 Mb
#8
Lamport L. LaTeX, a document preparation system (2ed., AW, 1995)(150dpi)(T)(279s)_ST_.djvu
3.12 Mb
|
|